Ockham’s razor and reasoning about information flow
نویسندگان
چکیده
منابع مشابه
Ockham's razor and reasoning about information flow
What is the minimal algebraic structure to reason about information flow? Do we really need the full power of Boolean algebras with co-closure and de Morgan dual operators? Howmuch canweweaken and still be able to reason about multi-agent scenarios in a tidy compositional way? This paper provides some answers.
متن کاملAn Algebraic Approach for Reasoning About Information Flow
This paper concerns the analysis of information leaks in security systems. We address the problem of specifying and analyzing large systems in the (standard) channel model used in quantitative information flow (QIF). We propose several operators which match typical interactions between system components. We explore their algebraic properties with respect to the security-preserving refinement re...
متن کاملReasoning about Information Change
Recently the notions of information and information change have gained a prominent place in several fields of scientific research, such as philosophy, the formal semantics of natural language and computer science. The present paper highlights two of such developments, namely the update semantics of Veltman (1996), and the analysis of communication in distributed systems, in particular the appro...
متن کاملReasoning about Dynamic Information Displays
With increasing use of computing systems while on the move and in constantly changing conditions, whether it is via mobile devices, wearable computers or embedded systems in the environment, time plays an increasingly important role in interaction. The way in which information is represented in an interface is fundamental to interaction with it, and how the information is used in the users task...
متن کاملReasoning about Qualitative Temporal Information
Interval and point algebras have been proposed for representing qualitative temporal information about the relationships between pairs of intervals and pairs of points, respectively. In this paper, we address two related reasoning tasks that arise in these algebras: Given (possibly indefinite) knowledge of the relationships between some intervals or points, (1) find one or more scenarios that a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2008
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-008-9414-7